Ingrese una palabra o frase en cualquier idioma 👆
Idioma:
Traducción y análisis de palabras por inteligencia artificial ChatGPT
En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:
- cómo se usa la palabra
- frecuencia de uso
- se utiliza con más frecuencia en el habla oral o escrita
- opciones de traducción
- ejemplos de uso (varias frases con traducción)
- etimología
Qué (quién) es Sequent - definición
CONDITIONAL ASSERTION THAT IF ALL OF THE ANTECEDENT CONDITIONS ARE TRUE, THEN AT LEAST ONE OF THE CONSEQUENT FORMULAS IS TRUE
Sequent (in logic); Sequents
Sequent
<company> A computer manufacturer.
Quarterly sales $109M, profits $7M (Aug 1994).
Sequent computers was acquired by IBM in 1999.
[History? ]
(2003-10-21)
Sequent
·noun A Follower.
II. Sequent ·adj Following as an effect; consequent.
III. Sequent ·adj Following; succeeding; in continuance.
IV. Sequent ·noun That which follows as a result; a sequence.
sequent
¦ adjective archaic following in a sequence or as a logical conclusion.
Derivatives
sequently adverb
Wikipedia
Sequent
In mathematical logic, a sequent is a very general kind of conditional assertion.
A sequent may have any number m of condition formulas Ai (called "antecedents") and any number n of asserted formulas Bj (called "succedents" or "consequents"). A sequent is understood to mean that if all of the antecedent conditions are true, then at least one of the consequent formulas is true. This style of conditional assertion is almost always associated with the conceptual framework of sequent calculus.
Ejemplos de uso de Sequent
1. The UN Secretary General should not consider what happened to the Sudanese refugees in Egypt as a mere security incident, because what happened to the Sudanese in Cairo on the New Year eve will have great impact on the future relationship between the UN system and the current and sub–sequent governments of Southern Sudan.